Strongly minimal groups in o-minimal structures

Groups Definable in O-minimal Structures

In this series of lectures, we will a) introduce the basics of ominimality, b) describe the manifold topology of groups definable in o-minimal structures, and c) present a structure theorem for the special case of semi-linear groups, exemplifying their relation with real Lie groups. The structure of these lectures is as follows: (1) Basics of o-minimality: definition, Cell Decomposition Theorem...

Solvable groups definable in o-minimal structures

Let N be an o-minimal structure. In this paper we develop group extension theory over N and use it to describe N -definable solvable groups. We prove an o-minimal analogue of the Lie-Kolchin-Mal’cev theorem and we describe N -definable G-modules and N -definable

Definably Simple Groups in O-minimal Structures

Let G = 〈G, ·〉 be a group definable in an o-minimal structure M. A subset H of G is G-definable if H is definable in the structure 〈G, ·〉 (while definable means definable in the structure M). Assume G has no Gdefinable proper subgroup of finite index. In this paper we prove that if G has no nontrivial abelian normal subgroup, then G is the direct product of G-definable subgroups H1, . . . ,Hk s...

Permutation groups in o-minimal structures

Strongly minimal pseudofinite structures

In this note we point out that any strongly minimal pseudofinite structure (or set) is unimodular in the sense of [1], [5], [2], and hence measurable in the sense of Macpherson and Steinhorn [3], [2] as well as 1-based. The argument, involving nonstandard finite cardinalities, is straightforward. A few people asked about this issue in private conversations and communications, in particular Mart...